A Capability-Based Module System for Authority Control (Artifact)
نویسندگان
چکیده
This artifact is intended to demonstrate the module system of the Wyvern programming language and consists of a Linux virtual machine with a snapshot of the Wyvern programming language’s codebase. The Wyvern codebase contains a test suite that corresponds to the code examples in the paper accompanying the artifact. In addition, the artifact contains a document describing how to compile and run Wyvern programs. 1998 ACM Subject Classification D.3.3 Language Constructs and Features
منابع مشابه
A Capability-Based Module System for Authority Control
The principle of least authority states that each component of the system should be given authority to access only the information and resources that it needs for its operation. This principle is fundamental to the secure design of software systems, as it helps to limit an application’s attack surface and to isolate vulnerabilities and faults. Unfortunately, current programming languages do not...
متن کاملArtifact reduction techniques in Cone Beam Computed Tomography (CBCT) imaging modality
Introduction: Cone beam computed tomography (CBCT) was introduced and became more common based on its low cost, fast image procedure rate and low radiation dose compared to CT. This imaging modality improved diagnostic and treatment-planning procedures by providing three-dimensional information with greatly reduced level of radiation dose compared to 2D dental imaging modalitie...
متن کاملA Hybrid Switching Technique for Single-Phase AC-Module PV System to Reduce Power Losses and Minimize THD
This paper proposes a hybrid switching technique for a domestic PV system with AC-module architecture. In this PV system, independent control of PV modules, which are directly connected to DC terminals of a single-phase cascaded multilevel inverter, makes module-level MPPT possible to extract maximum available solar energy, especially in partial shading conditions. As one of the main contributi...
متن کاملA Practical Formal Model for Safety Analysis in Capability-Based Systems
We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configuration of communicating subjects. The subjects in the model can express behavior that corresponds to how information and authority are propagated in capability systems. The formalism is designed to be useful for analyzing how in...
متن کاملTrust Based Packet Forwarding Scheme for Data Security in Mobile Ad Hoc Networks
In Mobile Ad hoc Networks (MANET) Threats is a major concern and most routing protocols are based on Authentication, Security Association, key distribution and so on. we require a network-level or link layer security. Since without appropriate security provisions, the Mobile adhoc Networks are subjected to attacks like network traffic, replay transmissions, manipulate packet headers and redirec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- DARTS
دوره 3 شماره
صفحات -
تاریخ انتشار 2017